Analyzing Interacting BPEL Processes
نویسندگان
چکیده
This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain.
منابع مشابه
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly intera...
متن کاملArchitecture Support for Flexible Business Chain Integration Using Protocol Adaptors
BPEL with references to WSDL definitions BPEL WSDL Definitions Executable BPEL Automatic Transformation Legend: Manual Refinement Minimal Adaptor Fig. 7. Adding Adaptation to the BPELgold Model Chain Since adaptation of the interacting services is not addressed in the original model chain for BPELgold, we have extended the tool chain by adding minimal adaptors (gray box) which can be automatica...
متن کاملConsolidation of Interacting BPEL Process Models with Fault Handlers
The interaction behavior between processes of organizations and their suppliers can be modeled by using choreographies. When an organization decides to gain more control about their suppliers and to minimize transaction costs they may decide to insource these companies. This also requires the integration of the partner processes into the organization. In previous work we proposed an approach to...
متن کاملAnalyzing BPEL processes using Petri nets
Some years ago, BEA, IBM, Microsoft, SAP AG, and Siebel Systems teamed up and proposed the Business Process Execution Language for Web Services (BPEL or BPEL4WS) for application integration within and across organizational boundaries. By now, BPEL has become the de facto standard in this Web services composition arena. However, little effort has been dedicated so far concerning the verification...
متن کاملA Method for Analyzing and Predicting Reliability of BPEL Process
As an important means to compose independent services together to fulfill a function, service composition is widely applied in different applications. However, the process of composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. A BPEL process based on Petri net (BPEL-Net) model is presented in this paper, which is capable of capturing behav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006